<!doctype html>
<html>
    <head>
        <title>eiffel_demo</title>
        <link href="eiffel_demo.css" rel="stylesheet" type="text/css">
    </head>
    <body>
        <h1>Eiffel demo</h1>
        <script src='../eiffel/eiffel.js'></script>
        <script src='eiffel_demo.js'></script>
    <body>
</html>